Representability and compactness for pseudopowers

نویسندگان

چکیده

We prove a compactness theorem for pseudopower operations of the form $${{\,\mathrm{pp}\,}}_{\Gamma (\mu ,\sigma )}(\mu )$$ where $$\aleph _0<\sigma ={{\,\mathrm{cf}\,}}(\sigma )\le {{\,\mathrm{cf}\,}}(\mu . Our main tool is result that has Shelah’s cov versus pp Theorem as consequence. also show failure in other situations significant consequences pcf theory, particular, implying existence progressive set A regular cardinals which $${{\,\mathrm{pcf}\,}}(A)$$ an inaccessible accumulation point.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pseudopowers and primality proving

The so-called pseudosquares can be employed in very powerful machinery for the primality testing of integers N . In fact, assuming reasonable heuristics (which have been confirmed for numbers to 2) they can be used to provide a deterministic primality test in time O(log N), which some believe to be best possible. In the 1980s D.H. Lehmer posed a question tantamount to whether this could be exte...

متن کامل

On pseudosquares and pseudopowers

Introduced by Kraitchik and Lehmer, an x-pseudosquare is a positive integer n ≡ 1 (mod 8) that is a quadratic residue for each odd prime p ≤ x, yet is not a square. We give a subexponential upper bound for the least x-pseudosquare that improves on a bound that is exponential in x due to Schinzel. We also obtain an equi-distribution result for pseudosquares. An x-pseudopower to base g is a posit...

متن کامل

Results and estimates on pseudopowers

Let n be a positive integer. We say n looks like a power of 2 modulo a prime p if there exists an integer ep ≥ 0 such that n ≡ 2ep (mod p). First, we provide a simple proof of the fact that a positive integer which looks like a power of 2 modulo all but finitely many primes is in fact a power of 2. Next, we define an x-pseudopower of the base 2 to be a positive integer n that is not a power of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Archive for Mathematical Logic

سال: 2021

ISSN: ['1432-0665', '0933-5846']

DOI: https://doi.org/10.1007/s00153-021-00780-9